p{-}id()($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inl $x$